🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Theorem Proving

Automated Reasoning, SMT Solvers, Logic Programming, Isabelle

Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧠Computational Logic
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
📏Linear Logic
Neurosymbolic AI: Why, What, and How
muratbuffalo.blogspot.com·2h·
Discuss: www.blogger.com
🧠Intelligence Compression
How To Solve Every Programming Problem
blog.codeminer42.com·21h
📐Interval Arithmetic
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·3d·
Discuss: Hacker News
💧Liquid Types
Mathematicians Question AI Performance at International Math Olympiad
scientificamerican.com·6h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Jepsen: Capela dda5892
jepsen.io·2h·
Discuss: Lobsters, Hacker News
📊APL Heritage
Counting points on an elliptic curve
johndcook.com·2h
🔱Galois Cryptography
Automated Knowledge Synthesis & Validation for Scientific Literature Review
dev.to·6h·
Discuss: DEV
🔬Academic Search
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·1d
🧪Property-Based Testing
[$] On the use of LLM assistants for kernel development
lwn.net·1h
🔩Systems Programming
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·13h
🦀Rust Macros
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·1d·
Discuss: Hacker News
⚡Proof Automation
My blog on zero-knowledge cryptography
kaw101010.github.io·16h·
Discuss: Hacker News
🔐Quantum Security
Show HN: VectorOps Know
vectorops.dev·3h·
Discuss: Hacker News
🌳Incremental Parsing
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·21h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Actual LLM agents are coming
pleias.fr·12h·
Discuss: Hacker News
🔲Cellular Automata
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1d
✨Effect Handlers
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·3h·
Discuss: Substack
⚔️Lean Tactics
Loading...Loading more...
AboutBlogChangelogRoadmap